definitionally equal